#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>

#include "add.h"
/*
uint32_t add(uint32_t a, uint32_t b)
{
    return (a + b) * 2;
}
*/


int main(int argc, char *argv[])
{

    printf("5 + 3 = %u\n", add_fun(5, 3));

    return 0;
}
